Anti- (conjugate) linearity

Engineered anti-CD70 antibody-drug conjugate with increased therapeutic index.

An anti-CD70 antibody conjugated to monomethylauristatin F (MMAF) via a valine-citrulline dipeptide containing linker has been shown previously to have potent antitumor activity in renal cell cancer xenograft studies. Here, we generated a panel of humanized anti-CD70 antibody IgG variants and conjugated them to MMAF to study the effect of isotype (IgG1, IgG2, and IgG4) and Fcgamma receptor bind...

Non-linearity as the Metric Completion of Linearity

We summarize some recent results showing how the lambdacalculus may be obtained by considering the metric completion (with respect to a suitable notion of distance) of a space of affine lambda-terms, i.e., lambda-terms in which abstractions bind variables appearing at most once. This formalizes the intuitive idea that multiplicative additive linear logic is “dense” in full linear logic (in fact...

A chemically-defined trifunctional antibody-cytokine-drug conjugate with potent anti- tumor activity Running Title: An antibody-cytokine-drug conjugate with anti-tumor activity

2 Non - linearity Parameter

We study non-Gaussianity induced by a pseudo Nambu-Goldstone boson with a cosine-type scalar potential. We focus on how the non-Gaussianity is affected when the pseudo Nambu-Goldstone boson rolls down from near the top of the scalar potential where the deviation from a quadratic potential is large. We find that the resultant non-Gaussianity is similar to that obtained in the quadratic potential...

Linearity and Bisimulation

Exploiting linear type structure, we introduce a new theory of weak bisimilarity for the π-calculus in which we abstract away not only τ -actions but also non-τ actions which do not affect well-typed observers. This gives a congruence far larger than the standard bisimilarity while retaining semantic soundness. The framework is smoothly extendible to other settings involving nondeterminism and ...